BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

PCM编码的ISP技术实现

在简述实现PCM(Pulse Code Modulation)逐次反馈编码方法的基础上,采用先进的ISP(In-System Programmable)技术现代电子设计平台和开发软件,以ispLSI1016E芯片为核心,辅以相应的外围电路,实现了PCM编码的硬件电路配置和功能仿真设计.     

依托课外科技文化活动,培养大学生的创新能力——本科教学《评估方案》中两观测点之实证研究

通过解读《普通高等学校本科教学工作水平评估方案（试行）》中的两个观测点——“课外科技文化活动”和“学生的创新精神与实践能力”，探讨了重庆文理学院近年来在这些观测点所做的努力．以此证明，开展课外科技文化活动是培养大学生创新能力的重要途径．     

Why-问题与科学解释

从亨佩尔开始，人们就把解释和Why一问题紧密的联系起来，其实解释不能简单地看成对Why—问题的回答，Why—问题也需要进一步的阐释。我们尝试对Why—问题的两种不同的分析方法——命题理论和对照理论进行阐释和评论。揭示两种方法的同并之处。基于学术界普遍认为对照理论优于命题理论的状况，本文着力反驳了对照理论，得出了对照理论未必优于命题理论的结论。     

一种高精度低功耗流水线ADC开关电容电路

提出一种新的电容失配校正方案及功耗驱动的OTA设计思路,通过对虚地电容的修正,将电容失配因子在取样保持系统中去除,达到提高电容匹配程度,降低OTA增益误差的要求,使开关电容部分的瞬态功耗下降.本文采用TSMC 0.18μm工艺设计了一个8位,取样速率为200MHz的流水线结构模数转换器作为验证电路,仿真结果说明此优化结构符合高精度和低功耗要求,可应用到流水线等高速模数转换电路中作为信号前端处理模块使用.     

危险废物越境转移中的环境不公问题及对策

介绍了危险废物越境转移的现状和原因,利用环境公平理论分析了危险废物越境转移导致的环境不公平,最后提出了处理危险废物越境转移问题的环境公平准则,以及法律、体制和技术方面的对策.     

超塑性板材气压成形模具的设计与计算

介绍了金属的“超塑性”概念及其特点,阐述了超塑性材料Zn-22%Al板材气压成形的原理,着重解释了其板材气压成形模具的设计与计算,对生产实际与理论探讨具有现实意义。     

与年龄相关的非线性时变种群系统的L2(Q)-解

本文讨论与年龄相关的非线性时变种群系统（P）的l^2（Q）－解，为进一步研究种群系统的最优控制问题提供了必要的理论基础．     

关于L-fuzzy子环的L-fuzzy同态的新刻画

给出L-fuzzy子环的L-fuzzy同态和L-fuzzy子环的L-fuzzy模的L-fuzzy同构的一种新刻画.     

The concentration quenching characteristics of ~5D_3-~7F_J and ~5D_4-~7F_J (J=0―6) transitions of Tb~(3 ) in YBO_3:Tb~(3 ) phosphor

The photoluminescence quenching behaviors of 5D3-7FJ and 5D4-7FJ (J = 0―6) transitions of Tb3 in YBO3:Tb under 130―290 nm excitation were systematically investigated. The results revealed that the quenching concentrations of both 5D3-7FJ and 5D4-7FJ transitions of Tb3 in YBO3:Tb were mainly de-pendent on excitation wavelength. Particularly,the quenching concentrations of 5D4-7FJ transitions of Tb3 under 130―290 nm excitation were correlated with excitation bands of YBO3:Tb. The quenching concentrations of 5D3-7FJ transitions remained at low concentration (2%) under 186―290 nm excitation and then increased gradually with energy of incoming excitation photon when excited at 130―186 nm. This dependence should be involved in their excitation mechanisms and quenching pathway in particular excitation region.